Java Pathfinder - PDFSEARCH.IO - Document Search Engine

Java Pathfinder
Results: 36

#	Item
11	The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis Jakob Mund1? , Ralf Huuck2 , Ansgar Fehnker2,3 , and Cyrille Artho4 1 4 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:54:06 Software engineering Thread Parallel computing Deadlock Lock Java Pathfinder Critical section Model checking Mutual exclusion Concurrency control Computing Computer programming
12	CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 08:45:52 Software development Java Pathfinder Software Logic in computer science Model checking Software verification Runtime verification Static program analysis Verification and validation Formal methods Software testing Theoretical computer science
13	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
14	An Effective Dynamic Analysis for Detecting Generalized Deadlocks Pallavi Joshi Mayur Naik Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2011-01-12 18:56:27 Concurrent computing Deadlock Lock Monitor Non-blocking algorithm Thread Java Pathfinder Parallel computing Concurrency control Computing Computer programming
15	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control
16	Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Quicken Interchange Format Java Pathfinder Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
17	Quoc-Sang Phan Contact Information Theoretical Computer Science group Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-02-13 17:05:24 Quicken Interchange Format Ames Research Center Computer science Phan Pathfinder Theoretical computer science Science Computing California Java Pathfinder Dagstuhl Model checking
18	Concurrent Bounded Model Checking Quoc-Sang Phan Pasquale Malacaria ˘ areanu Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Logic in computer science Electronic design automation NP-complete problems Model checking Java Pathfinder Satisfiability Modulo Theories Concolic testing KeY Theoretical computer science Applied mathematics Mathematics
19	Int J Softw Tools Technol Transfer DOIs10009REGULAR PAPER The common aspect proof environment Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-06-27 10:17:59 Aspect-oriented programming Java Pathfinder AspectJ Join point Spring Framework Formal verification Model checking AIDA Programming tool Software development Software Aspect-oriented software development
20	ACM SIGSOFT Software Engineering Notes Page 1 November 2012 Volume 37 Number 6 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Software engineering Function Java Pathfinder ALGOL 68 Computing Programming language theory Quicken Interchange Format